翻訳と辞書 Words near each other ・ Derivative and Commodity Exchange Nepal Ltd. ・ Derivative chromosome ・ Derivative Dribble ・ Derivative house ・ Derivative of the exponential map ・ Derivative suit ・ Derivative test ・ Derivative work ・ Derivative-free optimization ・ Derivatives law ・ Derivatives market ・ Derivatization ・ Derivator ・ Derive ・ Derive (computer algebra system) ・ Derived algebraic geometry ・ Derived category ・ Derived character ・ Derived demand ・ Derived functor ・ Derived no-effect level ・ Derived object ・ Derived row ・ Derived scheme ・ Derived set ・ Derived set (mathematics) ・ Derived stack ・ Derived stem ・ Derived type ・ Derived unique key per transaction Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Derived algebraic geometry ： ウィキペディア英語版 Derived algebraic geometry Derived algebraic geometry is a branch of mathematics that generalizes algebraic geometry to a situation where commutative rings, which provide a local chart, are replaced by ring spectra in algebraic topology, whose higher homotopy accounts for the non-discreteness (e.g, Tor) of the structure sheaf. Grothendieck's scheme theory allows the structure sheaf to carry nilpotent elements. Derived algebraic geometry can be thought of as an extension of this, and provides a natural setting for cotangent complexes and such in deformation theory (cf. F. Francis). == Introduction == Basic objects of study in the field are derived schemes and derived stacks; they generalize, for instance, differential graded schemes. The oft-cited example is Serre's intersection formula.〔http://mathoverflow.net/questions/12236/serre-intersection-formula-and-derived-algebraic-geometry〕 In the usual formulation, the formula involves Tor functor and thus, unless higher Tor vanish, the scheme-theoretic intersection (i.e., fiber product of immersions) ''does not'' yield the correct intersection number. In the derived context, one takes the derived tensor product $A\; \backslash otimes^L\; B$, whose higher homotopy is higher Tor, whose Spec is not a scheme but a derived scheme. Hence, the "derived" fiber product yields the correct intersection number. (Currently this is just a theory; the derived intersection theory has yet to be developed.) The term "derived" comes from derived category. It is classic that many operations in algebraic geometry make sense only in the derived category of say quasi-coherent sheaves, rather than the category of such. In the much same way, one usually talks about the ∞-category of derived schemes, etc, as opposed to ordinary category. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Derived algebraic geometry」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.